Principal Net Equations
نویسندگان
چکیده
منابع مشابه
Solving Recursive Net Equations
This paper describes a denotational approach to the Petri net semantics of recursive expressions. A domain of nets is identified such that the solution of a given recursive equation can be found by fixpoint approximation from some suitable starting point. In turn, a suitable starting point can be found by fixpoint approximation on a derived domain of sets of trees. The paper explains the theory...
متن کاملSolving Language Equations Using Petri Net Description
The problem of designing a component which asynchronously communicates with a known context such that the overall system conforms to a given specification can be formualted as solving the language equation F ◦X ≺ S where F, X, and S are Petri net languages, ◦ is the asynchronous composition operator, and ≺ represents language containment. This paper proposes a general procedure of computing the...
متن کاملPrincipal Pairs for Oscillatory Second Order Linear Differential Equations
Nonoscillatory second order differential equations always admit “special”, principal solutions. For a certain type of oscillatory equation principal pairs of solutions were introduced by Á. Elbert, F. Neuman and J. Vosmanský, Diff. Int. Equations 5 (1992), 945–960. In this paper, the notion of principal pair is extended to a wider class of oscillatory equations. Also an interesting property of ...
متن کاملPrincipal Dynamic Mode Analysis of the Hodgkin-Huxley Equations
We develop an autoregressive model framework based on the concept of Principal Dynamic Modes (PDMs) for the process of action potential (AP) generation in the excitable neuronal membrane described by the Hodgkin-Huxley (H-H) equations. The model's exogenous input is injected current, and whenever the membrane potential output exceeds a specified threshold, it is fed back as a second input. The ...
متن کاملElliptic Equations, Principal Eigenvalue and Dependence on the Domain
We consider a general second order uniformly elliptic diierential operator L and also the set of all open sets (not neccessarily smooth) in the unit ball of I R n. We deene a metric d in this set (up to an equivalence relation) that makes the space ((= ; d) a complete metric space. We show that the principal eigenvalue and eigenfunction of L are continuous with the metric d. Similar results are...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Chemical Education
سال: 1997
ISSN: 0021-9584,1938-1328
DOI: 10.1021/ed074p368.2